🔍 eBPF Verifier - hello · Scour

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)

arxiv.org·1d

🔓Lock-Free Programming

ReflectCxx/ReflectionTemplateLibrary-CPP: Powerful C++ runtime reflection with compile-time guarantees – and ZERO performance compromise.

github.com·1d·

Discuss: r/AskProgramming

Building "zero-gap" secrets for a UGC platform

news.ycombinator.com·1d·

Discuss: Hacker News

#️⃣Perfect Hashing

When Clever Hardware Hacks Bite Back: A Password Keeper Device Autopsy

hackaday.com·4h

💾Retro Computing

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

Why Interface + Factory? The Java Pattern That Makes Everything Replaceable

dev.to·6h·

Discuss: DEV

Automatic WS2812 Characterization

cpldcpu.com·4h

ziggit.dev·14h

Introduction to SAFE

safe-docs.erlang-solutions.com·3d

Built a tiny fast library for catching obvious prompt injections

reddit.com·1d·

Discuss: r/golang

The Beacon is lit

blog.zarfhome.com·13h

⚡LMAX Disruptor

Code only says what it does

brooker.co.za·1h·

Discuss: Hacker News

📚Technical Writing

marzhall/BBL: A couple of tools for OpenEdge ABL

github.com·1d

Dot Chain Special Operators

yamlscript.org·22h

3️⃣Three-Address Code

How to write your first obfuscator of Java Bytecode

blog.quarkslab.com·3d

🎯Escape Analysis

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·8h·

Discuss: r/Zig

Live System Analysis: Mitigating Interference from Antivirus Tools

blog.elcomsoft.com·1d

Revisiting Regular Types

abseil.io·5h

👻Phantom Types

Portable C Compiler

en.wikipedia.org·4h·

Discuss: Hacker News

The Auth Platform Native to Go. Built for Any Stack.

go-better-auth.vercel.app·10h·

Discuss: r/golang

🔄Axum Middleware

Loading more...